(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 13.2' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     26194,        744]
NotebookOptionsPosition[     23323,        687]
NotebookOutlinePosition[     23722,        703]
CellTagsIndexPosition[     23679,        700]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[
 RowBox[{"Clear", "[", "\"\<Global`*\>\"", "]"}]], "Input",
 CellChangeTimes->{{3.952950500745904*^9, 3.952950625650865*^9}, 
   3.9529527944921722`*^9},
 CellLabel->
  "In[299]:=",ExpressionUUID->"4931ced8-d7d8-444b-97f3-145bc532a1cc"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
     RowBox[{"If", " ", "\[Alpha]"}], ">=", 
     RowBox[{"\[CapitalOmega]", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", " ", 
    RowBox[{
     RowBox[{"the", " ", "probability", " ", "that", " ", "d_", "2"}], "=", 
     RowBox[{"lib", " ", "becomes"}]}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"biasconsist", " ", "=", 
   RowBox[{"Simplify", "[", 
    RowBox[{
     RowBox[{"(", " ", 
      RowBox[{"1", "-", 
       RowBox[{"(", 
        RowBox[{"y2", "+", 
         RowBox[{"\[CapitalOmega]", "*", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ")"}], "+", 
       RowBox[{"Integrate", "[", 
        RowBox[{
         RowBox[{"p", "-", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}], "*", 
           FractionBox[
            RowBox[{"y2", "-", "x", "+", "\[CapitalOmega]"}], 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
         RowBox[{"{", 
          RowBox[{"x", ",", 
           RowBox[{"y2", "-", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
           RowBox[{"y2", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
      ")"}], "/", 
     RowBox[{"(", 
      RowBox[{"1", "-", "y2", "+", "\[Alpha]", "-", 
       RowBox[{"\[CapitalOmega]", "*", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"2", "*", "p"}], "-", "1"}], ")"}]}], "+", 
       RowBox[{"Integrate", "[", 
        RowBox[{
         RowBox[{"p", "-", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "*", "p"}], "-", "1"}], ")"}], "*", 
           FractionBox[
            RowBox[{"y2", "-", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
         RowBox[{"{", 
          RowBox[{"x", ",", 
           RowBox[{"y2", "-", "\[Alpha]", "-", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
           RowBox[{"y2", "-", "\[Alpha]", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
      ")"}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{{3.952950500745904*^9, 3.952950625650865*^9}, 
   3.9529527944921722`*^9},
 CellLabel->
  "In[300]:=",ExpressionUUID->"23097295-93c6-44c9-99ba-d03e7d075a31"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"-", "1"}], "+", "y2"}], 
  RowBox[{
   RowBox[{"-", "1"}], "+", "y2", "-", "\[Alpha]"}]]], "Output",
 CellChangeTimes->{3.952952950939147*^9, 3.953052336808384*^9, 
  3.9531123494969797`*^9},
 CellLabel->
  "Out[300]=",ExpressionUUID->"62e35f40-5b5b-4f93-a31d-6b1de5dc12b3"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "The", " ", "derivative", " ", "of", " ", "this", " ", "expression", " ", 
    "with", " ", "respect", " ", "to", " ", "\[Alpha]", " ", "is"}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{"Simplify", "[", 
   RowBox[{"D", "[", 
    RowBox[{"biasconsist", ",", "\[Alpha]"}], "]"}], "]"}]}]], "Input",
 CellChangeTimes->{{3.952950659249381*^9, 3.9529507012498283`*^9}},
 CellLabel->
  "In[301]:=",ExpressionUUID->"f0ff45a8-3362-439c-bf07-afd2be7b3593"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{"-", "1"}], "+", "y2"}], 
  SuperscriptBox[
   RowBox[{"(", 
    RowBox[{"1", "-", "y2", "+", "\[Alpha]"}], ")"}], "2"]]], "Output",
 CellChangeTimes->{3.9529529509522667`*^9, 3.953052337919361*^9, 
  3.9531123509264193`*^9},
 CellLabel->
  "Out[301]=",ExpressionUUID->"7f87dd83-1d8c-4a67-bb99-e6a14ce14fcb"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
    RowBox[{
     RowBox[{"If", " ", "\[Alpha]"}], "<", 
     RowBox[{"\[CapitalOmega]", 
      RowBox[{"(", 
       RowBox[{
        RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", " ", 
    RowBox[{
     RowBox[{"the", " ", "probability", " ", "that", " ", "d_", "2"}], "=", 
     RowBox[{"lib", " ", "becomes"}]}]}], "*)"}], "\[IndentingNewLine]", 
  RowBox[{"biasconsist", " ", "=", 
   RowBox[{"Simplify", "[", 
    RowBox[{
     RowBox[{"(", " ", 
      RowBox[{"1", "-", 
       RowBox[{"(", 
        RowBox[{"y2", "+", 
         RowBox[{"\[CapitalOmega]", "*", 
          RowBox[{"(", 
           RowBox[{
            RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ")"}], "+", 
       RowBox[{"Integrate", "[", 
        RowBox[{
         RowBox[{"p", "-", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "p"}], "-", "1"}], ")"}], "*", 
           FractionBox[
            RowBox[{"y2", "-", "x", "+", "\[CapitalOmega]"}], 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
         RowBox[{"{", 
          RowBox[{"x", ",", 
           RowBox[{"y2", "-", "\[Alpha]", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
           RowBox[{"y2", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}], 
       "+", 
       RowBox[{"Integrate", "[", 
        RowBox[{
         RowBox[{"(", 
          RowBox[{
           RowBox[{
            RowBox[{"p", "^", "2"}], 
            RowBox[{"(", 
             RowBox[{"1", "-", 
              FractionBox[
               RowBox[{"y2", "-", "x", "+", "\[CapitalOmega]"}], 
               RowBox[{"2", "*", "\[CapitalOmega]"}]]}], ")"}]}], "+", 
           RowBox[{"p", 
            RowBox[{"(", 
             RowBox[{"1", "-", "p"}], ")"}], "*", 
            FractionBox["\[Alpha]", 
             RowBox[{"2", "*", "\[CapitalOmega]"}]]}], "+", 
           RowBox[{
            RowBox[{
             RowBox[{"(", 
              RowBox[{"1", "-", "p"}], ")"}], "^", "2"}], "*", 
            FractionBox[
             RowBox[{
             "y2", "-", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
             RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ")"}], ",", 
         RowBox[{"{", 
          RowBox[{"x", ",", 
           RowBox[{"y2", "-", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
           RowBox[{"y2", "-", "\[Alpha]", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
      ")"}], "/", 
     RowBox[{"(", 
      RowBox[{"1", "-", "y2", "+", "\[Alpha]", "-", 
       RowBox[{"\[CapitalOmega]", "*", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"2", "*", "p"}], "-", "1"}], ")"}]}], "+", 
       RowBox[{"Integrate", "[", 
        RowBox[{
         RowBox[{"p", "-", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{"2", "*", "p"}], "-", "1"}], ")"}], "*", 
           FractionBox[
            RowBox[{"y2", "-", "\[Alpha]", "-", "x", "+", "\[CapitalOmega]"}], 
            RowBox[{"2", "*", "\[CapitalOmega]"}]]}]}], ",", 
         RowBox[{"{", 
          RowBox[{"x", ",", 
           RowBox[{"y2", "-", "\[Alpha]", "-", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], ",", 
           RowBox[{"y2", "-", "\[Alpha]", "+", 
            RowBox[{"\[CapitalOmega]", "*", 
             RowBox[{"(", 
              RowBox[{
               RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}]}], "}"}]}], "]"}]}], 
      ")"}]}], "]"}]}]}]], "Input",
 CellChangeTimes->{{3.952950596925935*^9, 3.952950606587144*^9}},
 CellLabel->
  "In[302]:=",ExpressionUUID->"6a14fd16-7ab0-4c0e-a6cd-42199d7ebfe7"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      RowBox[{"3", " ", "p"}], "-", 
      RowBox[{"2", " ", 
       SuperscriptBox["p", "2"]}]}], ")"}], " ", 
    SuperscriptBox["\[Alpha]", "2"]}], "+", 
   RowBox[{"2", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", 
      RowBox[{"4", " ", "p"}], "-", 
      RowBox[{"7", " ", 
       SuperscriptBox["p", "2"]}], "+", 
      RowBox[{"4", " ", 
       SuperscriptBox["p", "3"]}]}], ")"}], " ", "\[Alpha]", " ", 
    "\[CapitalOmega]"}], "-", 
   RowBox[{"2", " ", "\[CapitalOmega]", " ", 
    RowBox[{"(", 
     RowBox[{"1", "-", "y2", "+", 
      RowBox[{"2", " ", "p", " ", "\[CapitalOmega]"}], "-", 
      RowBox[{"6", " ", 
       SuperscriptBox["p", "2"], " ", "\[CapitalOmega]"}], "+", 
      RowBox[{"4", " ", 
       SuperscriptBox["p", "3"], " ", "\[CapitalOmega]"}]}], ")"}]}]}], 
  RowBox[{"2", " ", 
   RowBox[{"(", 
    RowBox[{
     RowBox[{"-", "1"}], "+", "y2", "-", "\[Alpha]"}], ")"}], " ", 
   "\[CapitalOmega]"}]]], "Output",
 CellChangeTimes->{3.9529529510306377`*^9, 3.953052339076447*^9, 
  3.9531123524603653`*^9},
 CellLabel->
  "Out[302]=",ExpressionUUID->"7911282a-b3ae-4366-b10a-6f667a051470"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Simplify", "[", 
  RowBox[{"Equal", "[", 
   RowBox[{"biasconsist", ",", 
    FractionBox[
     RowBox[{
      RowBox[{"2", "\[CapitalOmega]", 
       RowBox[{"(", 
        RowBox[{"1", "\[Minus]", "y2", "+", 
         RowBox[{
          RowBox[{"(", 
           RowBox[{"1", "\[Minus]", 
            RowBox[{"4", "p"}], "+", 
            RowBox[{"7", 
             RowBox[{"p", "^", "2"}]}], "\[Minus]", 
            RowBox[{"4", 
             RowBox[{"p", "^", "3"}]}]}], ")"}], "\[Alpha]"}]}], ")"}]}], "+", 
      RowBox[{
       RowBox[{"(", 
        RowBox[{"1", "\[Minus]", 
         RowBox[{"3", "p"}], "+", 
         RowBox[{"2", 
          RowBox[{"p", "^", "2"}]}]}], ")"}], 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"4", "p", "*", 
          RowBox[{"\[CapitalOmega]", "^", "2"}]}], "+", 
         RowBox[{"\[Alpha]", "^", "2"}]}], ")"}]}]}], 
     RowBox[{"2", " ", "\[CapitalOmega]", 
      RowBox[{"(", 
       RowBox[{"1", "-", "y2", "+", "\[Alpha]"}], ")"}], " "}]]}], "]"}], 
  "]"}]], "Input",
 CellChangeTimes->{{3.952950802301771*^9, 3.952950802315589*^9}, {
  3.952952810509325*^9, 3.952952941726276*^9}},
 CellLabel->
  "In[303]:=",ExpressionUUID->"52390f10-b157-4785-bac3-ac90adc88392"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{{3.952952942425027*^9, 3.9529529510484037`*^9}, 
   3.953052340728101*^9, 3.953112354150522*^9},
 CellLabel->
  "Out[303]=",ExpressionUUID->"714334fc-b700-45ec-87ca-2cbbffc2d952"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"(*", 
   RowBox[{
   "The", " ", "derivative", " ", "of", " ", "this", " ", "expression", " ", 
    "with", " ", "respect", " ", "to", " ", "\[Alpha]", " ", "is"}], "*)"}], 
  "\[IndentingNewLine]", 
  RowBox[{
   RowBox[{"Simplify", "[", 
    RowBox[{"D", "[", 
     RowBox[{"biasconsist", ",", "\[Alpha]"}], "]"}], "]"}], 
   "\[IndentingNewLine]", "\[IndentingNewLine]", 
   RowBox[{"(*", 
    RowBox[{
    "which", " ", "is", " ", "equal", " ", "to", " ", "the", " ", 
     "rearranged", " ", "expression", " ", "in", " ", "the", " ", "text"}], 
    "*)"}]}]}]], "Input",
 CellChangeTimes->{{3.952950743653352*^9, 3.952950759802898*^9}, 
   3.95295080554589*^9, {3.952950858440485*^9, 3.9529508681771297`*^9}},
 CellLabel->
  "In[304]:=",ExpressionUUID->"70c47b1b-61e6-4ea1-8d4b-9189a29142af"],

Cell[BoxData[
 FractionBox[
  RowBox[{
   RowBox[{
    RowBox[{"-", "2"}], " ", 
    RowBox[{"(", 
     RowBox[{"1", "-", 
      RowBox[{"3", " ", "p"}], "+", 
      RowBox[{"2", " ", 
       SuperscriptBox["p", "2"]}]}], ")"}], " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "1"}], "+", "y2"}], ")"}], " ", "\[Alpha]"}], "+", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{"1", "-", 
      RowBox[{"3", " ", "p"}], "+", 
      RowBox[{"2", " ", 
       SuperscriptBox["p", "2"]}]}], ")"}], " ", 
    SuperscriptBox["\[Alpha]", "2"]}], "+", 
   RowBox[{"2", " ", "p", " ", "\[CapitalOmega]", " ", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"-", "4"}], "+", 
      RowBox[{"4", " ", "y2"}], "+", 
      RowBox[{"4", " ", 
       SuperscriptBox["p", "2"], " ", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"-", "1"}], "+", "y2", "-", "\[CapitalOmega]"}], ")"}]}], 
      "-", 
      RowBox[{"2", " ", "\[CapitalOmega]"}], "+", 
      RowBox[{"p", " ", 
       RowBox[{"(", 
        RowBox[{"7", "-", 
         RowBox[{"7", " ", "y2"}], "+", 
         RowBox[{"6", " ", "\[CapitalOmega]"}]}], ")"}]}]}], ")"}]}]}], 
  RowBox[{"2", " ", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{"1", "-", "y2", "+", "\[Alpha]"}], ")"}], "2"], " ", 
   "\[CapitalOmega]"}]]], "Output",
 CellChangeTimes->{3.952952951052685*^9, 3.9530523420953207`*^9, 
  3.953112355658967*^9},
 CellLabel->
  "Out[304]=",ExpressionUUID->"29a000aa-0d12-4c1b-8361-0f63f3eb69a8"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"Simplify", "[", 
   RowBox[{"Equal", "[", 
    RowBox[{
     RowBox[{"D", "[", 
      RowBox[{"biasconsist", ",", "\[Alpha]"}], "]"}], ",", 
     FractionBox[
      RowBox[{
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "\[Minus]", 
          RowBox[{"3", "p"}], "+", 
          RowBox[{"2", 
           RowBox[{"p", "^", "2"}]}]}], ")"}], 
        RowBox[{"(", 
         RowBox[{
          RowBox[{"\[Alpha]", "^", "2"}], "+", 
          RowBox[{"2", 
           RowBox[{"(", 
            RowBox[{"1", "\[Minus]", "y2"}], ")"}], "*", "\[Alpha]"}]}], 
         ")"}]}], "+", 
       RowBox[{"2", "\[CapitalOmega]", "*", "p", 
        RowBox[{"(", 
         RowBox[{
          RowBox[{
           RowBox[{"(", 
            RowBox[{"1", "\[Minus]", "y2"}], ")"}], 
           RowBox[{"(", 
            RowBox[{
             RowBox[{
              RowBox[{"\[Minus]", "4"}], 
              RowBox[{"p", "^", "2"}]}], "+", 
             RowBox[{"7", "p"}], "\[Minus]", "4"}], ")"}]}], "+", 
          RowBox[{
           RowBox[{"(", 
            RowBox[{
             RowBox[{
              RowBox[{"\[Minus]", "4"}], 
              RowBox[{"p", "^", "2"}]}], "+", 
             RowBox[{"6", "p"}], "\[Minus]", "2"}], ")"}], 
           "\[CapitalOmega]"}]}], ")"}]}]}], 
      RowBox[{"2", "\[CapitalOmega]", 
       RowBox[{
        RowBox[{"(", 
         RowBox[{"1", "\[Minus]", "y2", "+", "\[Alpha]"}], ")"}], "^", 
        "2"}]}]]}], "]"}], "]"}], "\n"}]], "Input",
 CellChangeTimes->{{3.952950824656225*^9, 3.952950908568262*^9}, {
   3.9529509528433933`*^9, 3.9529509598392*^9}, 3.952950997639839*^9, {
   3.952951225790915*^9, 3.952951395128859*^9}},
 CellLabel->
  "In[305]:=",ExpressionUUID->"6e53fb21-b49e-41f8-9d60-4f79731a7510"],

Cell[BoxData["True"], "Output",
 CellChangeTimes->{3.952952951063466*^9, 3.9530523438585987`*^9, 
  3.953112357555355*^9},
 CellLabel->
  "Out[305]=",ExpressionUUID->"b84dc07a-6555-4f04-ac8a-8ff0d232f327"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{
   "The", " ", "below", " ", "conditions", " ", "are", " ", "used", " ", "to",
     " ", "demonstrate", " ", "that", " ", "this", " ", "derivative", " ", 
    "is", " ", "less", " ", "than", " ", "0", " ", "when", " ", "\[Alpha]"}], 
   "<", 
   RowBox[{"\[CapitalOmega]", 
    RowBox[{"(", 
     RowBox[{
      RowBox[{"2", "p"}], "-", "1"}]}]}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.952951027835909*^9, 3.95295103650625*^9}, {
  3.95295184724774*^9, 3.9529518651280603`*^9}, {3.952951921430235*^9, 
  3.952951932593014*^9}},
 CellLabel->
  "In[1419]:=",ExpressionUUID->"48805893-724f-47da-9657-48a1ddf69b77"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{
     RowBox[{
      RowBox[{"-", "8"}], 
      RowBox[{"p", "^", "2"}]}], "+", 
     RowBox[{"13", "p"}], "-", "6"}], "<", "0"}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.952951791163046*^9, 3.9529518183203707`*^9}},
 CellLabel->
  "In[306]:=",ExpressionUUID->"0c75ae24-d58a-40f2-b2df-e4255796cc48"],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "2"], "<", "p", "<", "1"}]], "Output",
 CellChangeTimes->{3.952952951077203*^9, 3.9530523460112963`*^9, 
  3.953112359558712*^9},
 CellLabel->
  "Out[306]=",ExpressionUUID->"d73edb9d-5165-4b83-bb87-dfd7d5b59ae7"]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"1", "-", 
     RowBox[{"3", "p"}], "+", 
     RowBox[{"2", 
      RowBox[{"p", "^", "2"}]}]}], "<", "0"}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.952951828006583*^9, 3.952951839392825*^9}},
 CellLabel->
  "In[307]:=",ExpressionUUID->"ea034d8b-cfbb-4098-b3f3-c700613789cf"],

Cell[BoxData[
 RowBox[{
  FractionBox["1", "2"], "<", "p", "<", "1"}]], "Output",
 CellChangeTimes->{3.952952951081181*^9, 3.953052348294368*^9, 
  3.953112360765341*^9},
 CellLabel->
  "Out[307]=",ExpressionUUID->"5e12a3be-6097-4b64-9906-ce4517207c53"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"\[IndentingNewLine]", "\[IndentingNewLine]", 
  RowBox[{"(*", 
   RowBox[{"Similarly", ",", " ", 
    RowBox[{
    "we", " ", "can", " ", "directly", " ", "reduce", " ", "the", " ", 
     "expression", " ", "given", " ", "conditions", " ", "on", " ", "our", 
     " ", "paramaters"}], ",", " ", 
    RowBox[{
     RowBox[{"namely", " ", "that", " ", "0"}], "<", "y2", "<", "1"}], ",", 
    "\[IndentingNewLine]", " ", 
    RowBox[{
     RowBox[{"0", "<", "\[Alpha]", "<", 
      RowBox[{"\[CapitalOmega]", 
       RowBox[{"(", 
        RowBox[{
         RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
     RowBox[{
      RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
     RowBox[{"\[CapitalOmega]", "<", 
      RowBox[{"y2", "-", "\[Alpha]"}]}], "&&", 
     RowBox[{"0", "<", "\[CapitalOmega]", "<", 
      RowBox[{"1", "-", 
       RowBox[{
        RowBox[{"y2", ".", " ", "These"}], " ", "conditions", " ", "entail", 
        " ", "that", " ", "both", " ", "courts", " ", "have", " ", 
        "cutpoints", " ", "between", " ", "0", " ", "and", " ", "1.", " ", 
        "And", " ", "that", " ", "the", " ", "shock", " ", "cannot", " ", 
        "be", " ", "so", " ", "large", " ", "as", " ", "to", " ", "push", " ",
         "\[IndentingNewLine]", "the", " ", "edge", " ", "of", " ", "the", 
        " ", "informative", " ", "region", " ", "outside", " ", "of", " ", 
        "0", " ", "and", " ", "1", " ", "for", " ", "either", " ", 
        "court"}]}]}]}]}], "*)"}]}]], "Input",
 CellChangeTimes->{{3.9529518665639057`*^9, 3.952951913731719*^9}, {
   3.9529524582114267`*^9, 3.952952576236845*^9}, 3.952952769269547*^9},
 CellLabel->
  "In[1422]:=",ExpressionUUID->"a32c11e8-7712-4be9-a848-3eb913490a07"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D", "[", 
     RowBox[{"biasconsist", ",", "\[Alpha]"}], "]"}], "<", "0"}], "&&", 
   RowBox[{"0", "<", "\[Alpha]", "<", 
    RowBox[{"\[CapitalOmega]", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
   RowBox[{"\[CapitalOmega]", "<", 
    RowBox[{"y2", "-", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "\[CapitalOmega]", "<", 
    RowBox[{"1", "-", "y2", "+", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "y2", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.9530523323641148`*^9, 3.953052377641733*^9}},
 CellLabel->
  "In[308]:=",ExpressionUUID->"a109bc1c-52d2-4a69-a3af-9170d25337b6"],

Cell[BoxData[
 RowBox[{
  RowBox[{"0", "<", "\[CapitalOmega]", "<", 
   FractionBox["1", "2"]}], "&&", 
  RowBox[{"0", "<", "\[Alpha]", "<", "\[CapitalOmega]"}], "&&", 
  RowBox[{
   FractionBox[
    RowBox[{"\[Alpha]", "+", "\[CapitalOmega]"}], 
    RowBox[{"2", " ", "\[CapitalOmega]"}]], "<", "p", "<", "1"}], "&&", 
  RowBox[{
   RowBox[{"\[Alpha]", "+", "\[CapitalOmega]"}], "<", "y2", "<", 
   RowBox[{"1", "+", "\[Alpha]", "-", "\[CapitalOmega]"}]}]}]], "Output",
 CellChangeTimes->{
  3.952952958132098*^9, {3.9530523596391478`*^9, 3.953052386547903*^9}, 
   3.953112371116678*^9},
 CellLabel->
  "Out[308]=",ExpressionUUID->"90c1602d-928c-45de-b8fe-dd5e8b872fb9"]
}, Open  ]],

Cell[BoxData[
 RowBox[{"(*", 
  RowBox[{
   RowBox[{
   "Note", " ", "that", " ", "these", " ", "conditions", " ", "just", " ", 
    "rearrange", " ", "the", " ", "above", " ", 
    RowBox[{"expressions", ".", " ", "Additionally"}]}], ",", " ", 
   RowBox[{
   "it", " ", "is", " ", "never", " ", "the", " ", "case", " ", "that", " ", 
    "this", " ", "derivative", " ", "is", " ", "greater", " ", "than", " ", 
    "0"}]}], "*)"}]], "Input",
 CellChangeTimes->{{3.9529526227003727`*^9, 3.9529526457679358`*^9}},
 CellLabel->
  "In[1424]:=",ExpressionUUID->"393b1d03-6179-4317-aaca-ed8ba7c8a636"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Reduce", "[", 
  RowBox[{
   RowBox[{
    RowBox[{"D", "[", 
     RowBox[{"biasconsist", ",", "\[Alpha]"}], "]"}], ">=", "0"}], "&&", 
   RowBox[{"0", "<", "\[Alpha]", "<", 
    RowBox[{"\[CapitalOmega]", 
     RowBox[{"(", 
      RowBox[{
       RowBox[{"2", "p"}], "-", "1"}], ")"}]}]}], "&&", 
   RowBox[{
    RowBox[{"1", "/", "2"}], "<", "p", "<", "1"}], "&&", 
   RowBox[{"\[CapitalOmega]", "<", 
    RowBox[{"y2", "-", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "\[CapitalOmega]", "<", 
    RowBox[{"1", "-", "y2", "+", "\[Alpha]"}]}], "&&", 
   RowBox[{"0", "<", "y2", "<", "1"}]}], "]"}]], "Input",
 CellChangeTimes->{{3.952952650324217*^9, 3.9529526512611933`*^9}, 
   3.9530523808201313`*^9},
 CellLabel->
  "In[309]:=",ExpressionUUID->"778197a4-04fd-42f0-af07-5431e54960b8"],

Cell[BoxData["False"], "Output",
 CellChangeTimes->{3.9529529651127996`*^9, 3.953052393478126*^9, 
  3.953112379674366*^9},
 CellLabel->
  "Out[309]=",ExpressionUUID->"03e401ff-3763-40e3-9bcf-ca3192f2c696"]
}, Open  ]]
},
WindowSize->{Full, Full},
WindowMargins->{{36, Automatic}, {16, Automatic}},
FrontEndVersion->"13.2 for Mac OS X ARM (64-bit) (November 18, 2022)",
StyleDefinitions->"Default.nb",
ExpressionUUID->"0eb1124d-0152-45c8-adfc-6892ba16355f"
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{}
*)
(*CellTagsIndex
CellTagsIndex->{}
*)
(*NotebookFileOutline
Notebook[{
Cell[558, 20, 250, 5, 30, "Input",ExpressionUUID->"4931ced8-d7d8-444b-97f3-145bc532a1cc"],
Cell[CellGroupData[{
Cell[833, 29, 2833, 79, 131, "Input",ExpressionUUID->"23097295-93c6-44c9-99ba-d03e7d075a31"],
Cell[3669, 110, 325, 9, 52, "Output",ExpressionUUID->"62e35f40-5b5b-4f93-a31d-6b1de5dc12b3"]
}, Open  ]],
Cell[CellGroupData[{
Cell[4031, 124, 507, 12, 52, "Input",ExpressionUUID->"f0ff45a8-3362-439c-bf07-afd2be7b3593"],
Cell[4541, 138, 358, 10, 54, "Output",ExpressionUUID->"7f87dd83-1d8c-4a67-bb99-e6a14ce14fcb"]
}, Open  ]],
Cell[CellGroupData[{
Cell[4936, 153, 4192, 115, 199, "Input",ExpressionUUID->"6a14fd16-7ab0-4c0e-a6cd-42199d7ebfe7"],
Cell[9131, 270, 1262, 37, 57, "Output",ExpressionUUID->"7911282a-b3ae-4366-b10a-6f667a051470"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10430, 312, 1248, 35, 50, "Input",ExpressionUUID->"52390f10-b157-4785-bac3-ac90adc88392"],
Cell[11681, 349, 230, 4, 34, "Output",ExpressionUUID->"714334fc-b700-45ec-87ca-2cbbffc2d952"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11948, 358, 832, 20, 94, "Input",ExpressionUUID->"70c47b1b-61e6-4ea1-8d4b-9189a29142af"],
Cell[12783, 380, 1469, 45, 59, "Output",ExpressionUUID->"29a000aa-0d12-4c1b-8361-0f63f3eb69a8"]
}, Open  ]],
Cell[CellGroupData[{
Cell[14289, 430, 1789, 51, 74, "Input",ExpressionUUID->"6e53fb21-b49e-41f8-9d60-4f79731a7510"],
Cell[16081, 483, 205, 4, 34, "Output",ExpressionUUID->"b84dc07a-6555-4f04-ac8a-8ff0d232f327"]
}, Open  ]],
Cell[16301, 490, 668, 16, 30, "Input",ExpressionUUID->"48805893-724f-47da-9657-48a1ddf69b77"],
Cell[CellGroupData[{
Cell[16994, 510, 444, 13, 30, "Input",ExpressionUUID->"0c75ae24-d58a-40f2-b2df-e4255796cc48"],
Cell[17441, 525, 255, 6, 49, "Output",ExpressionUUID->"d73edb9d-5165-4b83-bb87-dfd7d5b59ae7"]
}, Open  ]],
Cell[CellGroupData[{
Cell[17733, 536, 419, 12, 30, "Input",ExpressionUUID->"ea034d8b-cfbb-4098-b3f3-c700613789cf"],
Cell[18155, 550, 253, 6, 49, "Output",ExpressionUUID->"5e12a3be-6097-4b64-9906-ce4517207c53"]
}, Open  ]],
Cell[18423, 559, 1745, 36, 115, "Input",ExpressionUUID->"a32c11e8-7712-4be9-a848-3eb913490a07"],
Cell[CellGroupData[{
Cell[20193, 599, 782, 20, 30, "Input",ExpressionUUID->"a109bc1c-52d2-4a69-a3af-9170d25337b6"],
Cell[20978, 621, 672, 16, 49, "Output",ExpressionUUID->"90c1602d-928c-45de-b8fe-dd5e8b872fb9"]
}, Open  ]],
Cell[21665, 640, 597, 13, 30, "Input",ExpressionUUID->"393b1d03-6179-4317-aaca-ed8ba7c8a636"],
Cell[CellGroupData[{
Cell[22287, 657, 811, 21, 30, "Input",ExpressionUUID->"778197a4-04fd-42f0-af07-5431e54960b8"],
Cell[23101, 680, 206, 4, 57, "Output",ExpressionUUID->"03e401ff-3763-40e3-9bcf-ca3192f2c696"]
}, Open  ]]
}
]
*)

